widget: Remove deprecated margin-left/right properties
authorTimm Bäder <mail@baedert.org>
Tue, 4 Oct 2016 16:34:05 +0000 (18:34 +0200)
committerBenjamin Otte <otte@redhat.com>
Sun, 16 Oct 2016 16:17:21 +0000 (18:17 +0200)
commit878f2e4107b8d070df9a7b4491ccbad959858e4e
treea1d4e21a73caef59eda5bea330381b9fdd417a50
parentd34b7d98b25703cd713722384a2e7bfa6704cd20
widget: Remove deprecated margin-left/right properties
docs/reference/gtk/gtk4-sections.txt
gtk/gtkwidget.c
gtk/gtkwidget.h
testsuite/reftests/statusbar-remove-all.ref.ui
testsuite/reftests/statusbar-remove-all.ui